@inproceedings{mmmt,
  author =       {Delaware, Benjamin and Keuchel, Steven and Schrijvers, Tom and
                  Oliveira, Bruno C. d. S.},
  title =        {Modular Monadic Meta-Theory},
  booktitle =    {Proceedings of the 18th ACM SIGPLAN international conference
                  on Functional programming},
  series =       {ICFP '13},
  year =         {2013},
  month =        {Sep},
  location =     {Boston, MA, USA},
  numpages =     {13},
  url =          {http://doi.acm.org/10.1145/2500365.2500587},
  doi =          {10.1145/2500365.2500587},
  acmid =        {2500587},
  publisher =    {ACM},
  address =      {New York, NY, USA},
  keywords =     {mechanized meta-theory, modularity, monads, side-effects},
}